finite{-}type(Unit)